#ifndef KERNEL_HAL_x86_TIMER_H
#define KERNEL_HAL_x86_TIMER_H

#include "Hal/ITaskContext.h"

#define TIMER_TRACE(x ...) HAL_TRACE_DETAILED("Timer: " x)

namespace x86
{
	class Timer
	{
	public:
		static Result Initialize( uint16 hz );

	private:
		static void Handler( ITaskContext * context );
	};
}

#endif // KERNEL_HAL_x86_TIMER_H
